Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Guessing Decoding of Short Blocklength Codes
arxiv.org·5d
Sphere Packing
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
Transformer Efficiency Hacks: Leverage the Power of Position
dev.to·10h·
Discuss: DEV
🔄Burrows-Wheeler
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
⚙️PL Implementation
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
HP and Dell cut HEVC support in some laptops
engadget.com·1d
🎬Video Codecs
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·20h
⚔️Lean Theorem
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Dmitri Tymoczko
johncarlosbaez.wordpress.com·13h
💎Information Crystallography
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·8h
⚛️Quantum Tape
Flag this post
Show HN: Agent Network Protocol (ANP),Similar to an A2A
github.com·16h·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
ACM Gordon Bell Prize Awarded for Tsunami Prediction Simulation
acm.org·16h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Disparity-in-Differences: Extracting Hierarchical Backbones of Weighted Directed Networks
arxiv.org·2d
🔗Graph Isomorphism
Flag this post
Cryptology Group Held an Election, but Can’t Decrypt the Results
nytimes.com·1d·
🔐Archive Cryptanalysis
Flag this post